Eecient Timing Analysis of a Class of Petri Nets ?

We describe an algebraic technique for performing timing analysis on a restricted class of Petri nets with interval time delays spec-iied on the places of the net. The timing analysis we perform determines the extreme separation in time between speciied occurrences of pairs of transitions for all possible timed executions of the system. We present the details of the timing analysis algorithm and demonstrate polynomial running time on a non-trivial parameterized example. Petri nets with 3000 nodes and 10 16 reachable states have been analyzed using these techniques.